perm filename IJCAI.G[E77,JMC] blob sn#291608 filedate 1977-06-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. examples of circumscription - m&c, it's good, polar bear.
C00007 ENDMK
CāŠ—;
1. examples of circumscription - m&c, it's good, polar bear.
	circumscription and knowledge

2. reference to Moore xx done

3. Either omit promise to backtrack or fulfill it.

	Circumscription is a new idea; it tells us why some of
our efforts at formalization have failed even after some years.  We tried
to do with axioms what requires axiom schemata to do in a natural way.